An exact operator that knows its location

A Machine That Knows Its Own Code

We construct a machine that knows its own code, at the price of not knowing its own factivity.

Everyone Knows That Someone Knows: Quantifiers over Epistemic Agents

Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the firstorder modal logic S5 with respect to a possible worlds semantics. A multiagent version of the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also...

KIF4A knows its own limits

KIF4A knows its own limits N unes Bastos et al. describe how the ki-nesin motor KIF4A restricts its own activity during anaphase by recruiting the phosphatase PP2A-B56 to the central spindle. During mitosis, KIF4A limits the size of the central spindle by suppressing the growth of microtubules in the spindle midzone. The kinase Aurora B phosphorylates KIF4A to promote the kinesin's localization...

Cyclin B knows its place

n mammalian cells the work of the cell cycle is divided between two workhorses: Cdk2/cyclin E for S phase and Cdk1/cyclin B for mitosis. show that this apparent specificity is achieved by limiting access to substrates. By denying entrance to the nucleus, cells prevent Cdk1–cyclin B from jumpstarting S phase at inopportune times. In frog egg extracts, S phase is induced in nuclei by Cdk2–cyclin ...

Exact Operator Spaces